law of assumption sp